Auto-instrumenting of a Java app